Go to content
- {{#headlines}}
- {{title}} {{/headlines}}
Profile
| Academic position | Lecturer, Assistant Professor, Researcher |
|---|---|
| Research fields | Numerical Analysis, Optimization, Simulation,Theoretical Computer Science |
| Keywords | liveness, safety, interval temporal logic, formal verification, Nonblocking synchronization |
Current contact address
| Country | People's Republic of China |
|---|---|
| City | Beijing |
| Institution | Chinese Academy of Sciences (CAS) |
| Institute | Institute of Software, State Key Laboratory of Computer Science |
Host during sponsorship
| Prof. Dr. Joost-Pieter Katoen | Informatik 2 - Softwaremodellierung und Verifikation, Rheinisch-Westfälische Technische Hochschule Aachen (RWTH), Aachen |
|---|---|
| Start of initial sponsorship | 01/09/2013 |
Programme(s)
| 2012 | Humboldt Research Fellowship Programme for Postdocs |
|---|